d-feasible-discrete(D;discrete)
== i, x:Id.
== ((discrete(i,x)))
==  (ma-init-const(M(i);x)
==  & (k:Knd, s:M(i).state, v:M(i).da(k). ma-ef-const(M(i);k;x;s;v))) 

latex

---

clarification:

d-feasible-discrete(D;discrete)
== i:Id, x:Id.
== ((discrete(i,x)))
==  (ma-init-const(d-m(D; i);x)
==  & (k:Knd, s:d-m(D; i).state, v:d-m(D; i).da(k). ma-ef-const(d-m(D; i);k;x;s;v))) 

latex

Definitions	Id, P  Q, b, f(a), P & Q, ma-init-const(M;x), Knd, M.state, x:A. B(x), M.da(a), ma-ef-const(M;k;x;s;v), M(i)
FDL editor aliases	d-feasible-discrete